casa ingenieros de Mina Diógenes, MINA DIOGENES