DMBX1 and obstructive hydrocephalus: The malformation of the midbrain aqueduct probably causes obstructive hydrocephalus in the β-cateninloxP/loxP; Dmbx1-Cre mice.