An experimental and computational investigation of the enantioselective deprotonation of Boc-piperidine.