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