199852-04-5 4(1H)-Pyrimidinone, 2-[(1,3-dioxolan-2-ylmethyl)thio]-5-(1-methylethyl)-6-(phenylmethyl)- AIDS-009707 AIDS009707