4-Methyl-3-phenyl-8-(1-pyrrolidinyl)-4,8-dihydro-4lambda~5~-thieno[2,3-b]pyrrolizine hydroiodide AIDS-158972 AIDS158972 NSC683515 (IODIDE SALT)