(2S)-1-[(1-{(2S)-2-Cyclohexyl-2-[(2-methylpropoxy)carbonylamino]acetyl}(2S,4R)-4-(naphthylmethoxy)pyrrolidin-2-yl)carbonylamino]-2-ethylcyclopropanecarboxylic acid AIDS-162082 AIDS162082