Well like I said before, as much as I'd hate to see it, unless players are proven to have used, not alleged, have no reason not to be in, whether it's Bonds or Gonzalez. And as much as you "know" they juiced, they just weren't proven. And yeah it would suck to see that happen. The only time I'd call an arguement would be if someone was found guilty of using steroids and still inducted, even if it was a 1 time failed test, you still did it. You can't pick and choose a degree of how bad someone did it and whether or not that determines their punishment. It's all or none, I choose all. I don't think any federal charges would be needed, but loss of Hall of Fame bid, if applicable, and erasing of any records, awards, and numbers achieved during the time found of using.
Another thing, I know Rose was banned, and I know there's not much that can be done, but the day a guilty juicer is inducted is the day Pete Rose better get unbanned.