Hyperfinite type II-infinity factor