6-Methyl-2H,3H,10aH-benzo[f]1,3-thiazolidino[2,3-c]1,4-thiazaperhydroepine-4,10-dione AIDS-085047 AIDS085047 Thiazepine analog