If you use auto correct in LR, I'm guessing you'll lose a lot, so I might make it more of a pano, cropping up from the bottom to the juncture with the walls. Make the distortion work for you.
I like the shot well enough as is, but if you want to correct the distortion you have several options, depending on what software you use. @taffy has covered the LR option well, the others are DxO ViewPoint 2 (software I use frequently) or Perspective Warp in Photoshop CC. Either of the latter would do the job, but only the last would avoid the loss of a hunk of your image.
i'd lose the foreground...i have found that unless you have something of interest in the foreground in a wide angle shot, it can appear as an immense blank area, which is about a third of your image in this shot...better to shoot higher and have less foreground in composition...cool architecture...