Who was the director of the 1964 American musical-fantasy film for which Cotton Warburton is probably best known for editing?