Question: When Robert Quiroga was the International Boxing Federation champion, how much did he weigh?
Sentence (from "José Ruíz Matos"): Ruíz made his debut July 13, 1984, competing in the super flyweight division.
Relevant evidence: No