When did the 3.7-inch HAA gun become preferred?