Density of basic rocks at very high pressures