5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate + H(+) = 5-amino-1-(5-phospho-beta-D-ribosyl)imidazole + CO2
5-amino-1-(5-phospho-d-ribosyl)imidazole-4-carboxylate + h(+) = 5-amino-1-(5-phospho-beta-d-ribosyl)imidazole + co2
"1-(5-phosphoribosyl)-5-amino-4-imidazolecarboxylate carboxy-lyase"
"1-(5-phosphoribosyl)-5-amino-4-imidazolecarboxylate carboxy-lyase"