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-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