Clark, assuming the futility boundary was completely decoupled with the OBF upper efficacy boundary, then I agree with your calculation with a futility HR of 1.04 and 0.92 for IA1 and IA2, respectively.
However, it's not clear to me whether the conditional power futility approach was used, and whether the OBF boundary was modified to compensate for the power loss. The reverse engineering seems to suggest OBF was left intact.