1-(2-Cyclohexen-1-yl)-5-methyl-2,4(1H,3H)-pyrimidinedione AIDS-138613 AIDS138613 NSC645766