danny devito fighting mike tyson in a boxing ring in the 1 9 8 0 s