Isolation and synthesis of 3-hydroxy-L-proline