The proton‐translocating ATPase of Escherichia coli