(2R)-1-[(1-{(2S)-2-[(Tert-butoxy)carbonylamino]-3,3-dimethylbutanoyl}(2S,4R)-4-(7-methoxy-2-(2-thienyl)(4-quinolyloxy))pyrrolidin-2-yl)carbonylamino]-2-vinylcyclopropanecarboxylic acid AIDS-162166 AIDS162166