ON FOUR-DIMENSIONAL COMPACTIFICATIONS OF F-THEORY