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