MIB以ASN.1编写，以_________ 文件存储，经编译后转换成代理可以使用的格式。