抗震设防烈度为多少以上时，必须进行抗震设计？（　　）