Is carbon disulfide and disulfide oil the same?