mice with a mutation