anterior choroid plexus