I'd do 4.
As an option, I wonder if 2 new on back makes some sense.. maybe less confusing to the awd. Would trigger AWD sooner? I'm speculating with this.
But. Perhaps most importantly, in emerg situation, back with more grip prevents spinning the tail out.
If the front 2 have more grip, you could slam brakes, the front would grip, but if tail starts to come out it could really come out. You'd spin like a top (in theory).
Sort of the same reasoning with winter rubber and FWD. On FWD cars, if mounting 2 winter tires, the recommendation is the two winter tires go on the rear (non drive wheels). Just for that reason, you don't want to invite spins. Wouldn't help you go in FWD, but dying from lack of "go" is less likely than dying from a spin out