Cre-stimulated recombination atloxP-containing DNA sequences placed into the mammalian genome | Synapse