When did John of the Cross adopt the religious name of Juan de la Cruz?
SELECT ?value WHERE { wd:Q190388 p:P1635 ?s . ?s ps:P1635 ?x filter(contains(?x,'Juan de la Cruz')) . ?s pq:P580 ?value}
john of the cross: Q190388