Proton pump coupled to cytochrome c oxidase in mitochondria