atp synthase alpha