Ν=4 Compactifications of String Theory and Supergravity