Occult Arts and Doctrine in the Theater of Juan Ruiz de Alarcón.