Ethyl 1-Boc-4-isopropyl-4-piperidinecarboxylate [ 1022128-75-1 ]