Functionalization of trans-Decalin. I. Synthesis of 1-Oxo-trans-decalin-4a, 6-carbolactone