The reaction oftrans-decahydroquinoline with molecular oxygen