[Synthesis of carbamoyl tetrahydro 1,4,2-dioxazines and evaluation of their activity against human immunodeficiency virus].