Ethyl 6-oxo-3-azabicyclo[3.2.1]octane-3-carboxylate ethylene ketal (HCID 86602199)|Huagongshe