Does trypsin cut before proline?