Gene Ontology Term: phosphoribosylaminoimidazole carboxylase activity