Juana Inés de la Cruz (Juan de Miranda).