energy coupled proton transmembrane transport, against electrochemical gradient