Phosphoribosylaminoimidazolesuccinocarboxamide synthase