MGI:5056368 progressive hydrocephalus http://identifiers.org/mgd/MGI:5056368 prh