¿Qué actor sustituye a Armando de Razza como Profesor Cavan en "El día de la bestia"?