Rational generation of lasso peptides based on biosynthetic gene mutations and site-selective chemical modifications