.alpha.,.beta.-Propylene AZTDP AIDS-086082 AIDS086082