5-carboxyamino-1-(5-phospho-D-ribosyl)imidazole + H(+) = 5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate
5-carboxyamino-1-(5-phospho-d-ribosyl)imidazole + h(+) = 5-amino-1-(5-phospho-d-ribosyl)imidazole-4-carboxylate
"5-(carboxyamino)imidazole ribonucleotide mutase"
"5-(carboxyamino)imidazole ribonucleotide mutase"