L-proline biosynthesis