(2R)-1-[(1-{(2S,3R)-3-(Tert-butoxy)-2-[(tert-butoxy)carbonylamino]butanoyl}(2S,4R)-4-(4-quinolyloxy)pyrrolidin-2-yl)carbonylamino]-2-vinylcyclopropanecarboxylic acid AIDS-162122 AIDS162122