SHARYGIN 2010 Problem 2

Bisectors $AA_1$ and $BB_1$ of a right triangle $ABC$ ($\angle C = 90^\circ$) meet at a point $I$. Let $O$ be the circumcenter of the triangle $CA_1B_1$. Prove that $OI \perp AB$.