proton-potassium ATPase