Kinetic mechanism of Escherichia coli isocitrate dehydrogenase.