AIDS-018940 AIDS018940 alpha-(Nitromethyl)benzhydrol