AIDS-219825 AIDS219825 L-Tyrosine, N-[(3.alpha.,7.alpha.,12.alpha.)-3,7,12-trihydroxy-24-oxocholan-24-yl]glycyl-2,5-diiodo-