<page_title> Mike Tyson </page_title> <section_title> Professional boxing record </section_title> <table> <cell> Win <col_header> Result </col_header> </cell> <cell> Tony Tucker <col_header> Opponent </col_header> </cell> <cell> UD <col_header> Type </col_header> </cell> <cell> 12 <col_header> Round, time </col_header> </cell> <cell> Aug 1, 1987 <col_header> Date </col_header> </cell> <cell> Retained WBA and WBC heavyweight titles; Won IBF heavyweight title <col_header> Notes </col_header> </cell> </table>
On August 1, Mike Tyson took the International Boxing Federation (IBF) title against Tony Tucker, in a twelve round unanimous decision.