SEARCH Articles Figures Tables Proline diketopiperazine formation Proline ring formation Prolines anti-aldol formation