2,4(1H,3H)-Pyrimidinedione, 1-[3-(hydroxymethyl)-1-pyrrolidinyl]- AIDS-111316 AIDS111316