alpha-ATP synthase