Proton-translocating ATPases responsible for ADENOSINE TRIPHOSPHATE synthesis in the MITOCHONDRIA. They derive energy from the respiratory chain-driven reactions that develop high concentrations of protons within the intermembranous space of the mitochondria. (mesh:D025261)