(2R)-1-[(1-{(2R)-2-[(Tert-butoxy)carbonylamino]-3-methyl-3-[(4-methylphenyl)methylthio]butanoyl}(2S,4R)-4-(4-quinolyloxy)pyrrolidin-2-yl)carbonylamino]-2-vinylcyclopropanecarboxylic acid AIDS-162127 AIDS162127