On the Secrecy Gain of Formally Unimodular Construction A4 Lattices