ATP synthase H+ pump  Boyer binding charge mechanism