3-Diethylaminomethylene-1,5-diphenyl-pyrrolidine-2,4-dione AIDS-115930 AIDS115930 NSC663783