No tenemos la biografía de José Antonio Marín.