Ratones knockout de Dvl1 son viables, fértiles y estructuralmente normales, pero muestran interacción social reducida y patrones de sueño anormales (Lijam et al, 1997)