Reference wanted

I'm sure that the following is known, but I've never seen it in print. Does someone have a reference for it? Proposition. Let U be a monadic functor, in the sense of Mac Lane's CWM. If U factors U=HG with H faithful and amnestic, and G having a left adjoint, then G is monadic.