Cre-stimulated recombination at loxP-containing DNA sequences placed into the mammalian genome.