4-Hydroxy-4-phenyl-3aH-benzo[f]pyrrolidino[2,1-c]1,4-thiazaperhydroepin-10-one AIDS-085069 AIDS085069 Thiazepine analog