2,3-Dimethyl-4H-thieno[3,2-b]pyrrolizin-4-one AIDS-149290 AIDS149290 NSC683512