The astexin-1 lasso peptides: biosynthesis, stability, and structural studies.