Proton-transporting ATPase activity, rotational mechanism