3-Phenyl-8-(1-pyrrolidinyl)-8H-thieno[2,3-b]pyrrolizine AIDS-147267 AIDS147267 NSC676694