(R)-1-N-Boc-beta-proline