Select “other uncompressed files”, then in the options, set the header to “RAW (headerless)” and the encoding to “VOX ADPCM”.
Before you export, ensure that the project is all mono, and the “project rate” (lower left corner of the main Audacity window) is “8000”.