Following germline transmission of the targeted allele, heterozygous mice were interbred to produce wild type (+/+), heterozygous (+/-) and homozygous (-/-) animals.