Total synthesis of triptolide and triptonide