如果一个文件在Windows98环境下的长文件名为AHHSTX-531.TXT，则其在DOS环境下相应的短文件名应为（）。