Hydrogen fluoride tetramer