(2R)-1-({1-[(2S)-2-(2H-Benzo[d]1,3-dioxolan-5-ylamino)-3-methylbutanoyl](2S,4R)-4-(7-methoxy-2-phenyl(4-quinolyloxy))pyrrolidin-2-yl}carbonylamino)-2-vinylcyclopropanecarboxylic acid AIDS-162241 AIDS162241