31926-73-5 AIDS-126800 AIDS126800 Ethyl 3-amino-2-(2,5-dioxo-3-pyrrolidinyl)-2-butenoate NSC128705