knockout mice to examine t