4-Oxo-4-(1H-1,2,4-triazol-5-ylamino)-2-butenoic acid AIDS-135777 AIDS135777 NSC636338