Synthesis of ATP driven by a Potassium Gradient in Mitochondria