spanish chiquito de la calzada with a k. o. against mike tyson