AIDS-162345 AIDS162345 Methyl 2-((1S,8R)-1,6,8-trimethyl-3-oxa-2-oxotricyclo[6.3.1.0<4,12