Four-proton migrations in associates of two molecules of formic acid with two molecules of water or hydrogen fluoride