2-(1-Methyl-2-pyrrolidinylidene)-1H-pyrrolizine-1,3(2H)-dione AIDS-152128 AIDS152128 NSC694967