tick-borne encephalitis Synonyms