((2R)-4,6-Dioxabicyclo[3.3.0]oct-2-yloxy)-N-{(1S,2R)-3-[(2H-benzo[3,4-d]1,3-dioxolan-5-ylsulfonyl) (4-{[(tert-butyl)amino]carbonylamino}-2,2-dimethylbutyl)amino]-2-hydroxy-1-benzylpropyl} carboxamide AIDS-095672 AIDS095672