Alfonso el casto - Hartzenbusch, Juan Eugenio