(22E)-Ergosta-5,7,22-trien-3.beta.-ol 57-87-4 AIDS-064232 AIDS064232 Ergosterin Ergosterol NSC62791 Provitamin D2