F0 of ATP Synthase Is a Rotary Proton Channel