Mike Tyson avoided professional boxing.
Michael Spinks ( born July 22 , 1956 ) is an American former professional boxer who competed from 1977 to 1988 . Mike Tyson . Tyson became the lineal champion in 1988 when he knocked out Michael Spinks in 91 seconds of the first round .