Total synthesis of racemic triptolide and triptonide