hexanitromannitol; mannitol hexanitrate