Given the task definition and input, reply with output. In this task, you are given a question. You have to answer the question based on your information.

With whom did this co-creator of "The Book of Mormon" and "Avenue Q" compose songs for a Disney film?
Kristen Anderson-Lopez