6.3.3.1 ATP + 2-(formamido)-N1-(5-phosphoribosyl)acetamidine