Electrochemical proton gradient