Peptide trapped Holliday junction intermediate in Cre-loxP recombination