Describir: Gastric proton pump with two occluded K+ engineered with sodium pump-mimetic mutations