Structure of lasso peptide astexin3