IMP synthesis