Derivation and analysis of mutant mice.