3-(3-Thienyl)-2,3-dihydro-1H-pyrrolizin-1-one AIDS-150080 AIDS150080 NSC686316