(2R)-N-({(3R)-1-(tert-butoxycarbonyl)-3-piperidyl}methyl)-1-{(2S,3R,4S)-3,4-dihydroxy-1-(3,3,3-triphenylpropanoyl)pyrrolidin-2-yl}carbonylpyrrolidine-2-carboxamide 生成 (2R)-N-{((3R)-1-ethyl-3-piperidyl)methyl}-1-{(2S,3R,4S)-3,4-dihydroxy-1-(3,3,3-triphenylpropanoyl)pyrrolidin-2-yl}carbonylpyrrolidine-2-carboxamide