9,10,11-Trimethoxy-1,2,3,4,4a,11b-hexahydrodibenzo[b,d]thiepin-7(6H)-one AIDS-125857 AIDS125857 NSC86713