AIDS-018454 AIDS018454 gamma-Acetyl-gamma-isopropenylpimelonitrile