Formaldehyde reacts with N-terminal proline residues to give bicyclic aminals