Structure of lasso peptide astexin-1