Pressure dependence of the sound velocity in distilled water