(2R)-1-[(1-{(2S)-2-[(Tert-butoxy)carbonylamino]-2-cyclohexylacetyl}(2S,4R)-4-naphthyloxypyrrolidin-2-yl)carbonylamino]-2-vinylcyclopropanecarboxylic acid AIDS-162087 AIDS162087