hello from the book of mormon petits battements david plumpton lyrics music