Along with the 88, what other AAA battalion gun made a good anti-tank weapon