1,3,5,6,7,8-Hexahydroquinazoline-2,4-dione AIDS-071967 AIDS071967