Second-order many-body perturbation study of solid hydrogen fluoride under pressure.