On the conversion of dihydroartemisinic acid into artemisinin