Brigadoon : [music] a musical play ; book and lyrics by Alan Jay Lerner ; music by Frederick Loewe