1-Tert-butyl 3-methyl 3-(prop-2-yn-1-yl)pyrrolidine-1,3-dicarboxylate (HCID 57686375)|Huagongshe