(2R)-1-({1-[(2S)-3-Methyl-2-(2-naphthylamino)butanoyl](2S,4R)-4-(7-methoxy-2-phenyl(4-quinolyloxy))pyrrolidin-2-yl}carbonylamino)-2-vinylcyclopropanecarboxylic acid AIDS-162258 AIDS162258