AIDS-085072 AIDS085072 Ethyl 10-oxo-4H-benzo[f]pyrrolo[2,1-c]1,4-thiazaperhydroepine-4-carboxylate Thiazepine analog