air density at pressure of 800 atmospheres