1,2,3,11a-Tetrahydro-5H,11H-pyrrolo[2,1-c][1,4]benzothiazepine-5,11-dione AIDS-130754 AIDS130754 NSC611513