Lasso Peptides: An Intriguing Class of Bacterial Natural Products | Synapse