9-(Ethoxycarbonyl)-3-methylene-1,5-ditosyl-1,5,9-triazacyclododecane AIDS-058829 AIDS058829