Carbon isotope effect of the enzymatic decarboxylation of pyruvic acid.