AIDS-188442 AIDS188442 iso-.alpha.-Acids