1a,2,7,7a-Tetrahydronaphtho[2,3-b]oxirene-2,7-diol AIDS-144201 AIDS144201 NSC666393