which theater production credits derek hudson as its musical director?
(AND theater.theater_production (JOIN theater.theater_production.musical_director m.0w0q71h))