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