((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-(prop-2-ynyloxycarbonylamino)hexyl]amino}-2-hydroxy-1-benzylpropyl carboxamide AIDS-095726 AIDS095726