10-(2-Butenyl)-7-chloro-5H-pyrrolo[1,2-b][1,2,5]benzothiadiazepin-11(10H)-one-5,5-dioxide AIDS-051793 AIDS051793 Pyrrolobenzothiazepine