Multisubunit enzymes that reversibly synthesize adenosine triphosphate. They are coupled to the transport of protons across a membrane.