2,5-Pyrrolidinedione, 3-[5-oxo-1-(2-propenyl)-2-pyrrolidinylidene]-1-(2-propenyl)-, (3E)- AIDS-134999 AIDS134999 NSC634160