AIDS-109535 AIDS109535 Thieno[3,2-b][1,4]benzothiazepin-9(10H)-one, 4,4-dioxide