(2R)-1-[(1-{(2S)-3,3-Dimethyl-2-[(2-thienylsulfonyl)amino]butanoyl}(2S,4R)-4-(7-methoxy-2-phenyl(4-quinolyloxy))pyrrolidin-2-yl)carbonylamino]-2-vinylcyclopropanecarboxylic acid AIDS-162280 AIDS162280