mitochondrial ATP synthase