Hyperbolic Space Forms and Orbifold Compactification in M-Theory