4-(2H-Benzo[3,4-d]1,3-dioxolen-5-yl)-2-(4-(2H-benzo[d]1,3-dioxolan-5-yl)-1-hydroxy-8-methoxy-6-methyl(2-naphthyl))-8-methoxy-6-methylnaphthol AIDS-082113 AIDS082113 Michellamine analog