((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-4-[N-(2-methylbutyl)carbamoyloxy]butyl}amino)-2-hydroxy-1-benzylpropyl] carboxamide AIDS-095842 AIDS095842