Boc-3,4-dehydro-L-proline