There is an excellent discussion on astro lenses here...
As others have posted it all depends on what you want to do - Milky Way over landscapes - wider, deep space objects - more telephoto. Another favorite is wide star fields where something like 85mm to 135mm works well.
Faster lenses work better - f2.8 or faster, but read in the above link about larger physical aperture being better.
In terms of ISO, the K5 is ISO invariant which means you can pretty much use any ISO value and not be increasing noise.
Having said that, there is a reason why you want to maintain a low ISO and that is dynamic range and color. As you increase ISO you are loosing dynamic range. As dynamic range decreases, you will be loosing your ability to capture star color - essentially getting a lot of white stars.
So in a nutshell .....
- If you use too wide of a wide angle lens / ultra wide angle lens - your physical aperture will decrease thereby limiting the amount of star light you will be capturing. The lenses that usually work the best (Milky Way) are Samyang 16/f2, Sigma 18-35/f1.8 and the Rokinon 24/f1.4. These also exhibit no coma. With these somewhat not as wide lenses, you tend to start to stitch scenes.
- ISO 800-1600 seems to be a happy medium, where you get enough light/amplification and maintain sufficient dynamic range to get some reasonable colors. You can shoot at 800 to capture the dynamic range and then boost the exposure in post processing
Check out the Astrophotography group here on the forum. There is wonderful work down there in the last several years, along with some excellent guidance in terms of post processing work flow.
.... and let me toss this in just for effects. Overall, especially in post processing, I was starting to just see some strange things occasionally happening in post processing. Things would be ok, and then suddenly the entire image would just fall apart - with one very minor adjustment. This was even more apparent with my astro images. I picked up this little laptop for travel that has a wonderful screen and I found out that it was the extremely crappy pos monitor that I had on my tower system that was giving me the absolutely crappy post processing results. So, I've been using this little laptop until I figure out exactly what monitor I want to pick up.