Molecular principles of redox-coupled sodium pumping of the ancient Rnf machinery | Synapse