L-N-[(4'-BOC)PIPERIDINO]PROLINE