Der rote Prinz (film 1954)