2-Hydroxymethylene-4-androstene-4,17.beta.-diol 4,17-Dihydroxy-2-(hydroxymethylene)androst-4-en-3-one AIDS-133944 AIDS133944 NSC631060