Kähler-Einstein metrics of negative curvature