5.4.99.18 5-carboxyamino-1-(5-phospho-D-ribosyl)imidazole carboxymutase