HEAO 1 observations of high-energy X-rays from the Seyfert I galaxy Mkn 509