What drug is frequently used to lower elevated intracranial pressure brought on by radiation therapy to the brain?