Discovery of SARS-CoV-2 Mpro peptide inhibitors from modelling substrate and ligand binding