I would prefer the AOS part: closer Rds(on), Qg(tot) and meets or exceeds everything else. The Fairchild part is a little too big (higher Qg, lower Rds(on)) but there may be a similar, next-size-down version which would also be fine.
Don't forget to check the gate drive circuitry, I imagine the controller/driver is toast but don't overlook resistors and stuff either. Transistors fail as three-way shorts, so 200V+ goes everywhere.
Tim