Mice were genotyped by Southern blot analysis.