A note on Lang's conjecture for quotients of bounded domains

It was conjectured by Lang that a complex projective manifold is Kobayashi hyperbolic if and only if it is of general type together with all of its subvarieties. We verify this conjecture for projective manifolds whose universal cover carries a bounded, strictly plurisubharmonic function. This includes in particular compact free quotients of bounded domains.