Cool shot - here is the XMP from ACR that I used:
<x
mpmeta xmlns
="adobe:ns:meta/" x
mptk="Adobe XMP Core 5.5-c002 1.148022, 2012/07/15-18:06:45 ">
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<rdf
escription rdf:about=""
xmlns:crs="http://ns.adobe.com/camera-raw-settings/1.0/"
crs:Version="8.3"
crs:ProcessVersion="6.7"
crs:WhiteBalance="As Shot"
crs:AutoWhiteVersion="134348800"
crs:AutoExposure="False"
crs:AutoShadows="False"
crs:AutoBrightness="False"
crs:AutoContrast="False"
crs:Saturation="0"
crs:Sharpness="61"
crs:LuminanceSmoothing="10"
crs:ColorNoiseReduction="48"
crs:ChromaticAberrationR="0"
crs:ChromaticAberrationB="0"
crs:VignetteAmount="0"
crs:VignetteMidpoint="50"
crs:ShadowTint="0"
crs:RedHue="0"
crs:RedSaturation="0"
crs:GreenHue="0"
crs:GreenSaturation="0"
crs:BlueHue="0"
crs:BlueSaturation="0"
crs:Vibrance="0"
crs
efringe="0"
crs:HueAdjustmentRed="0"
crs:HueAdjustmentOrange="0"
crs:HueAdjustmentYellow="0"
crs:HueAdjustmentGreen="0"
crs:HueAdjustmentAqua="0"
crs:HueAdjustmentBlue="0"
crs:HueAdjustmentPurple="0"
crs:HueAdjustmentMagenta="0"
crs:SaturationAdjustmentRed="0"
crs:SaturationAdjustmentOrange="0"
crs:SaturationAdjustmentYellow="0"
crs:SaturationAdjustmentGreen="0"
crs:SaturationAdjustmentAqua="0"
crs:SaturationAdjustmentBlue="0"
crs:SaturationAdjustmentPurple="0"
crs:SaturationAdjustmentMagenta="0"
crs:LuminanceAdjustmentRed="0"
crs:LuminanceAdjustmentOrange="0"
crs:LuminanceAdjustmentYellow="0"
crs:LuminanceAdjustmentGreen="0"
crs:LuminanceAdjustmentAqua="0"
crs:LuminanceAdjustmentBlue="0"
crs:LuminanceAdjustmentPurple="0"
crs:LuminanceAdjustmentMagenta="0"
crs:SplitToningShadowHue="0"
crs:SplitToningShadowSaturation="0"
crs:SplitToningHighlightHue="0"
crs:SplitToningHighlightSaturation="0"
crs:SplitToningBalance="0"
crs:ParametricShadows="0"
crs:ParametricDarks="0"
crs:ParametricLights="0"
crs:ParametricHighlights="0"
crs:ParametricShadowSplit="25"
crs:ParametricMidtoneSplit="50"
crs:ParametricHighlightSplit="75"
crs:SharpenRadius="+1.2"
crs:SharpenDetail="67"
crs:SharpenEdgeMasking="75"
crs:PostCropVignetteAmount="0"
crs:PostCropVignetteMidpoint="50"
crs:PostCropVignetteFeather="50"
crs:PostCropVignetteRoundness="0"
crs:PostCropVignetteStyle="1"
crs:PostCropVignetteHighlightContrast="0"
crs:GrainAmount="0"
crs:GrainSize="25"
crs:GrainFrequency="50"
crs:LuminanceNoiseReductionDetail="50"
crs:ColorNoiseReductionDetail="100"
crs:LuminanceNoiseReductionContrast="0"
crs:ColorNoiseReductionSmoothness="50"
crs:LensProfileEnable="0"
crs:LensManualDistortionAmount="0"
crs:PerspectiveVertical="0"
crs:PerspectiveHorizontal="0"
crs:PerspectiveRotate="0.0"
crs:PerspectiveScale="100"
crs:PerspectiveAspect="0"
crs:PerspectiveUpright="0"
crs:AutoLateralCA="0"
crs:Exposure2012="-1.15"
crs:Contrast2012="+50"
crs:Highlights2012="0"
crs:Shadows2012="0"
crs:Whites2012="0"
crs:Blacks2012="0"
crs:Clarity2012="0"
crs
efringePurpleAmount="0"
crs
efringePurpleHueLo="30"
crs
efringePurpleHueHi="70"
crs
efringeGreenAmount="0"
crs
efringeGreenHueLo="40"
crs
efringeGreenHueHi="60"
crs:ConvertToGrayscale="False"
crs:EnableToneCurve="True"
crs:EnableSplitToning="True"
crs:EnableColorAdjustments="True"
crs:EnableDetail="True"
crs:EnableLensCorrections="True"
crs:EnableEffects="True"
crs:EnableCalibration="True"
crs:ToneCurveName2012="Linear"
crs:CameraProfile="Camera Neutral"
crs:CameraProfileDigest="AF004EBA47092ECF696D06CE24881DE8"
crs:LensProfileSetup="LensDefaults"
crs:HasSettings="True">
<crs:ToneCurvePV2012>
<rdf:Seq>
<rdf:li>0, 0</rdf:li>
<rdf:li>255, 255</rdf:li>
</rdf:Seq>
</crs:ToneCurvePV2012>
<crs:ToneCurvePV2012Red>
<rdf:Seq>
<rdf:li>0, 0</rdf:li>
<rdf:li>255, 255</rdf:li>
</rdf:Seq>
</crs:ToneCurvePV2012Red>
<crs:ToneCurvePV2012Green>
<rdf:Seq>
<rdf:li>0, 0</rdf:li>
<rdf:li>255, 255</rdf:li>
</rdf:Seq>
</crs:ToneCurvePV2012Green>
<crs:ToneCurvePV2012Blue>
<rdf:Seq>
<rdf:li>0, 0</rdf:li>
<rdf:li>255, 255</rdf:li>
</rdf:Seq>
</crs:ToneCurvePV2012Blue>
</rdf
escription>
</rdf:RDF>
</x
mpmeta>
I pulled the exposure down about a stop and then used a radial gradient to reestablish the exposure on the subject. The NR settings are not that aggressive and really don't need to be - the 5DIII shows nice fine grain in the background (the underexposed area). The subject is well exposed and looks great.
That aside - this is where ACR and Adobe's profile is strange. I'm not a big fan of Adobe Standard most of the time anyway, but this example is pretty out there. The tint on the subject from the lighting is obviously a purple/violet. The background is a deep blue for the Adobe Standard rendering. When one switches to Camera Faithful or Camera Neutral, you get a background that is more compatible with the tint on the subject.
You can manipulate the look with the color primaries and saturation sliders in the Camera Calibration tab.
Of course, I was not there, so I don't know what is more "correct". Add to that, all three of the posted images here were converted by ACR to sRGB, where most of the blue background in Adobe Standard (and to a lesser degree the purple of the other two conversions) is out of the sRGB gamut.
You did a great job at capturing a tough shot.
kirk