Hyperfinite type II∞ factor