Cyclic and Lasso Peptides: Sequence Determination, Topology Analysis, and Rotaxane Formation.