Estrena a Madrid de Don Juan Tenorio, de Jose Zorrilla al Teatro de la Cruz