Molecular docking-aided identification of small molecule inhibitors targeting β-catenin-TCF4 interaction