Combine facts and answer this: Mario Neto has a victory in MMA over the professional boxer who competes in what division?
Answer:
heavyweight