5-amino-1-(5-phospho-beta-D-ribosyl)imidazole + ADP + phosphate + H(+) => 2-formamido-N(1)-(5-O-phospho-beta-D-ribosyl)acetamidine + ATP
5-amino-1-(5-phospho-beta-d-ribosyl)imidazole + adp + phosphate + h(+) => 2-formamido-n(1)-(5-o-phospho-beta-d-ribosyl)acetamidine + atp