Surgical management of massive cerebral infarction.