deficient mice