6-(2-(2H-Benzo[3,4-d]1,3-dioxolan-5-yl)ethyl)-3-[2-(tert-butyl)-4-(hydroxymethyl)-5-methylphenylthio]-4-hydroxy-6-(methylethyl)-5,6-dihydro-2H-pyran-2-one AIDS-071385 AIDS071385