They are all OK and there is little difference in meaning between the two styles. However, the style of (3) and (4) is slightly more formal.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
GPYHowever, the style of (3) and (4) is slightly more formal.And a lot more usual, at least in the US—the others are too much of a mouthful.