Alleles were generated by homologous recombination in R1 mouse embryonic stem cells, and mice were backcrossed onto C57Bl/6J.