Pirates’ Barry Bonds decision should push Baseball Hall of Fame to change course