) or nontransgenic mice (