Phosphoribosylaminoimidazolesuccinocarboxamide