1-BOC-3-piperidine formamide