4(1H)-Pyrimidinone, 5-ethyl-6-(1-naphthalenylmethyl)-1-(2-propenyl)-2-(2-propenylthio)- AIDS-044447 AIDS044447