Genotyping All mice were genotyped by Southern blot analysis. Genomic DNAs prepared from tail snips were digested with an appropriate restriction enzyme, size fractionated by agarose gel electrophoresis, blotted to nylon, and probed using standard procedures.