Virgen del Carmen, Santa Teresa de Ávila y San Juan de la Cruz