label: 5-amino-1-(5-phospho-D-ribosyl)imidazole-4-carboxylate + H(+) <=> 5-amino-1-(5-phospho-beta-D-ribosyl)imidazole + CO2
label_lc: 5-amino-1-(5-phospho-d-ribosyl)imidazole-4-carboxylate + h(+) <=> 5-amino-1-(5-phospho-beta-d-ribosyl)imidazole + co2