Lasso peptides: structure, function, biosynthesis, and engineering | Synapse