¿Quién compuso la célebre banda sonora de "El tercer hombre"?