((2R)-4,6-Dioxabicyclo[3.3.0]oct-2-yloxy)-N-{(1S,2R)-3-[(7-{[(1Z)-2-aza-1-(dimethylamino)-2- cyanovinyl]amino}-2,2-dimethylheptyl)(2H-benzo[3,4-d]1,3-dioxolan-5-ylsulfonyl)amino]-2-hydroxy-1 -benzylpropyl} carboxamide AIDS-095833 AIDS095833