粗面玄武岩;粗玄岩