4,4-Dimethyl-2-(2-(2-(2-methyl-1,3-dioxolan-2-yl)ethyl)-1-vinyl-1,2-dihydro-2-naphthalenyl)-4,5-dihydro-1,3-oxazole AIDS-138125 AIDS138125 NSC644281