No tenemos la biografía de Carlos de Diego.