Gravar-mail: Computational design of the lasso peptide antibiotic microcin J25