Hey aercy,
Since you are not going to overclock, the X4 945 suits you the best.
Now, here is some advice :)
See, since it is for just 1 year, I would suggest you the the X3 440. Why? Because there is hardly any game which uses the 4 cores. You also end up saving some bucks since this costs...