Where does the energy come from to drive the proton pump