Identification of potential TNF-α inhibitors: from in silico to in vitro studies | Synapse