which musical is jack lewis the producer of?
(AND music.release (JOIN music.release.producers m.01wyzrx))