(3R,3aS,6aR)-Hexahydrofuro[2,3-b]furan-3-yl (1S,2R)-1-benzyl-2-hydroxy-3-(isobutyl{[2-(4-methyl-2-oxo-1-piperazinyl)-1,3-benzothiazol-6-yl]sulfonyl}amino)propylcarbamate AIDS-181359 AIDS181359