199851-94-0 4(1H)-Pyrimidinone, 2-[(1,3-dioxolan-2-ylmethyl)thio]-5-ethyl-6-(phenylmethyl)- AIDS-000715 AIDS000715