The Catalytic Transition State in ATP Synthase