The coding sequence (exons 2 through 4) was replaced with the corresponding human genomic sequence encoding isoform 3. A loxP site was inserted 5' of the human sequence and a neo cassette with a 5' loxP site was inserted downstream of the human sequence.