divxtotal cotizacion ibex 35 historico