  We construct a quasi-categorically enhanced Grothendieck six-functor
formalism on schemes of finite type over the complex numbers. In addition to
satisfying many of the same properties as M. Saito's derived categories of
mixed Hodge modules, this new six-functor formalism receives canonical motivic
realization functors compatible with Grothendieck's six functors on
constructible objects.
