Choroid plexectomy for the treatment of chronic infected hydrocephalus