3-Isoxazolyl (1S,2R)-3-[{[2-(acetylamino)-1,3-benzothiazol-6-yl]sulfonyl}(isobutyl)amino]-1-benzyl-2-hydroxypropylcarbamate AIDS-181418 AIDS181418