In silico identification of small molecules engaging the TNFR2-TNF-α interaction: a novel approach for targeting demyelinating diseases