((2R)-4,6-Dioxabicyclo[3.3.0]oct-2-yloxy)-N-[(1S,2R)-3-((2H-benzo[3,4-d]1,3-dioxolan-5-ylsulfonyl {2,2-dimethyl-6-[(1-methylvinyloxy)carbonylamino]hexyl}amino)-2-hydroxy-1-benzylpropyl] carboxamide AIDS-095727 AIDS095727