What molecule is the source of the protons that are used to establish the proton gradient?.