Phosphorylation of isocitrate dehydrogenase in Escherichia coli mutants with a non-functional glyoxylate cycle