Pac, Floyd and Marquez ATGs, with Marquez being a borderline ATG. Oscar and Wlad are HOF locks.
I wouldn't argue, much at least, that Marquez is a great HOFer, bordering on ATG. However, I think a résumé that reads...
...all of whom were champions, with the exception of Juarez who was an excellent top contender, deserves ATG status considering you have champions ranging from 118 to 147. That doesn't even take into account Juans accomplishment that go hand in hand with those wins.