Virus
... that professional wrestler Virus once worked in the Minis division until he won the right to wrestle regular sized wrestlers?
... that <a href="./Professional_wrestling" id="mwE7Y" rel="mw:WikiLink" title="Professional wrestling">professional wrestler</a> <b id="mwE7c"><a href="./Virus_(wrestler)" id="mwE7g" rel="mw:WikiLink" title="Virus (wrestler)">Virus</a></b> once worked in the <a class="mw-redirect" href="./Lucha_Libre#Mini-Estrellas" id="mwE7k" rel="mw:WikiLink" title="Lucha Libre">Minis division</a> until he won the right to wrestle regular sized wrestlers?