3H,5H,13H-Naphth[2,3-f]oxazolo[4,3-c][1,4]oxazepine-5,13-dione, 1,13a-dihydro-1-methyl-, (1R,13aS)- AIDS-215785 AIDS215785