Correction: Wasn't as efficient. Times have changed.
Push rods are better at low revs, while worse at high revs. But with a correct gearing the engine doesn't need to go as high in revs. And especially a small body style like the mirage, suffering only low drag coefficient, it would seriously increase the car's effectiveness in the city. The possibility of using taller gears, improves on the engine's efficiency even more!