tert-Butyl (2S,4R)-4-((tert-butyldimethylsilyl)oxy)-2-formylpyrrolidine-1-carboxylate (HCID 10969557)|Huagongshe