I’d be fine with him and other notoriously blackballed players getting in the HOF posthumously. Put them in a “disgraced” section if you must.
It’s the Baseball Hall of Fame. To never in eternity acknowledge players like the all-time hits leader, the all-time homerun leaders, etc. for future generations of baseball fans to learn about when they visit the HOF is a disservice to the game. Obviously you’d include why they were denied enshrinement when they were alive as to reiterate that dishonest behavior is not tolerated or celebrated, but it’s important that those stories still get told so that generations of fans will understand the context.