Exon 9 was replaced with one in which nucleotide substitutions result in amino acid substitutions of the prolines with alanines within the Box1 domain (LILPPVPVPKIK to LILAAVAVAKIK). A floxed neo cassette used for selection purposes was removed by cre mediated recombination. (J:155335)