Structure of lasso peptide Astexin1