Exon 4, encoding amino acids 208-400, was replaced by a targeting vector containing three loxP sites, a TK-NEO cassette and the diphtheria toxin gene. Additionally, a frameshift mutation was introduced. The TK-NEO was removed via Cre-mediated recombination.