1-[(6,6-Dimethylbicyclo[3.1.1]hept-2-yl)methyl]-3-methyl-1H-pyrrole-2,5-dione AIDS-187843 AIDS187843