zeiss lens cleaner is an isopropyl alcohol solution which cleans without damaging the coating of a first surface mirror, and doesn’t leave a residue.