On the proton pump of the mitochondrial cytochrome system