(2S)-1-[(1-{(2S)-3-Methyl-2-[(2-methylpropoxy)carbonylamino]butanoyl}(2S,4R)-4-(naphthylmethoxy)pyrrolidin-2-yl)carbonylamino]-2-ethylcyclopropanecarboxylic acid AIDS-162081 AIDS162081