Catalytic properties of the F1-adenosine triphosphatase from Escherichia coli K-12 and its genetic variants as revealed by 18O exchanges.