musical) "Adventures of Pinocchio" 1975