EL GRAN TEATRO DEL MUNDO, OBRA DE PEDRO CALDERÓN DE LA BARCA