GO:0015990: electron transport coupled proton transport
The transport of protons against an electrochemical gradient, using energy from electron transport.