Convert OSTI notation to INIS notation.