1-(t-Butoxycarbonyl)-4-(t-butyldimethylsilyloxy)piperidin-3-one (HCID 23138717)|Huagongshe