Identification of new EphA4 inhibitors by virtual screening of FDA-approved drugs