Experimental Verification of a Sequence-Based Prediction: F1F0-Type ATPase of Vibrio cholerae Transports Protons, Not Na+ Ions