.beta.-Acids AIDS-188443 AIDS188443