Benkő József, az erdővidéki polihisztor