Untying a Protein Knot by Circular Permutation.