Tony Basilio Rocha, the boxer