[85] Citratase and isocitratase