ADS2 × S2 as an Exact Heterotic String Background