Anti-AIDS agents 31.1 synthesis and anti-HIV activity of 4-substituted 3′,4′-di-O-(−)-camphanoyl-(+)-cis-khellactone (DCK) thiolactone analogs