On the mechanism of AUH+ generation in mitochondrial cytochrome oxidase