4-(Allylamino)-4-oxo-2-butenoic acid AIDS-135002 AIDS135002 NSC634163