5-(Hydroxy(phenyl)methyl)-2,2,5-trimethyl-1,3-dioxolan-4-one AIDS-131653 AIDS131653 NSC624387