Proton transport by halorhodopsin.