Every source we have for this title failed to respond. That is usually temporary.
Pinocchio is a musical version of the story that aired in the United States on NBC, with pop star Peter Noone playing the puppet.