extracts KO numbers from a output ID mapping file produced by the KOBASA website