AIDS-018615 AIDS018615 Tetrahydro-7a-methyl-1H-oxazolo[3,4-c]-oxazole