proton-transporting ATP synthase activity, rotational mechanism [GO_0046933] - Virtual Fly Brain