All mice were genotyped by Southern blot analysis.