mouse formalin