4-O-benzyl 2-O-tert-butyl 5-phenylpyrrolidine-2,4-dicarboxylate (HCID 140385883)|Huagongshe