The proton-translocating ATPase of Escherichia coli.