AIDS-085071 AIDS085071 Benzo[f]pyrrolo[2,1-c]1,4-thiazaperhydroepine-4,10-dione Thiazepine analog