QSAR modeling and in silico design of small-molecule inhibitors targeting the interaction between E3 ligase VHL and HIF-1$$\alpha $$α