199852-10-3 4(1H)-Pyrimidinone, 2-[(1,3-dioxolan-2-ylmethyl)thio]-5-ethyl-6-(1-naphthalenylmethyl)- AIDS-058480 AIDS058480