Hydrolysis of adenosine 5'-triphosphate: an isotope-labeling study