1-[(1-{(2S)-2-Cyclohexyl-2-[(2,2,2-trichloro-tert-butoxy)carbonylamino]acetyl}(2S,4R)-4-(naphthylmethoxy)pyrrolidin-2-yl)carbonylamino]cyclopropanecarboxylic acid AIDS-162073 AIDS162073