wernicke\'s encephalopathy synonym