How many boxers who boxed each other in an olympic final both as pro's won world titles.