replace RFC1142 references with ISO10589 references

RFC1142 is obsolete by now.