Lens correction will be included in Lightroom and ACR!

See the scuttlebutt here. The video is alas private at the moment but the text of Tom Hogarty's blog post is pretty clear. This is a great development.

EDIT: here is the video. Be sure to watch it on youtube in highdef.