3′,4′-Di-o-(−)-camphanoyl-(+)-ciskhellactone and related compounds: A. new class of potent anti-HIV agents