F1-ATPase: a highly efficient rotary ATP machine.