IMP from 5-formamido-1-(5-phospho-D-ribosyl)imidazole-4-carboxamide: step 1/1. {ECO:0000256|HAMAP-Rule:MF_00139, ECO:0000256|SAAS:SAAS00342355}.