methyl (2S,4S)-1-(2,2-diphenylacetyl)-4-(methyl(prop-2-yn-1-yl)amino)pyrrolidine-2-carboxylate