Gravar-mail: The topology of the proton translocating F0 component of the ATP synthase from E. coli K12: studies with proteases.