Internationella olympiska kommittén (IOK) har nu formellt brutit med Internationella boxningsförbundet Iba.