(2R)-1-{(2S,4R)-4-(tert-butoxy)-1-(3,3,3-triphenylpropanoyl)pyrrolidin-2-yl}carbonylpyrrolidine-2-carboxylic acid|Huagongshe