1-[(1-{(2S)-2-[(Tert-butoxy)carbonylamino]-2-cyclohexylacetyl}(2S,4R)-4-(naphthylmethoxy)pyrrolidin-2-yl)carbonylamino]cyclopropanecarboxylic acid AIDS-162067 AIDS162067