1H,3H,3aH-Benzo[f]1,3-oxazolidino[4,3-c]1,4-thiazaperhydroepine-4,10-dione AIDS-085055 AIDS085055 Thiazepine analog